英语单词分类 轻松记单词

first-order predicate calculus

first-order predicate calculus基本解释

[计] 一阶谓词演算